Shira Kritchman, Ran Raz, The Surprise Examination Paradox and the Second Incompleteness Theorem